21![How Model-Based Design Simplifies the Debugging of Many-Core Systems Iuliana Bacivarov Computer Engineering and Networks Laboratory, ETH Zürich 1st International Workshop on Multicore Application Debugging (MAD) 2013, 1 How Model-Based Design Simplifies the Debugging of Many-Core Systems Iuliana Bacivarov Computer Engineering and Networks Laboratory, ETH Zürich 1st International Workshop on Multicore Application Debugging (MAD) 2013, 1](https://www.pdfsearch.io/img/1574b2c40cde46e64e06fe55483ad580.jpg) | Add to Reading ListSource URL: www.mad-workshop.deLanguage: English - Date: 2016-03-22 12:43:37
|
---|
22![Policy on Acceptable Simulation Data Archiving Simulation data is any data which is produced through numerical calculations which are based on a model. The model typically has inputs that are based on observed data, but Policy on Acceptable Simulation Data Archiving Simulation data is any data which is produced through numerical calculations which are based on a model. The model typically has inputs that are based on observed data, but](https://www.pdfsearch.io/img/c2b85607cd672b7e39f875893a7acc12.jpg) | Add to Reading ListSource URL: ppi.pds.nasa.govLanguage: English - Date: 2016-02-05 18:19:47
|
---|
23![Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro](https://www.pdfsearch.io/img/8bd91152f511b4601bff182baa9da570.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-09-25 06:20:12
|
---|
24![Distributed Implementations of Vickrey-Clarke-Groves Mechanisms David C. Parkes Division of Engineering and Applied Sciences, Harvard University, 33 Oxford Street, Cambridge MA 02138 Distributed Implementations of Vickrey-Clarke-Groves Mechanisms David C. Parkes Division of Engineering and Applied Sciences, Harvard University, 33 Oxford Street, Cambridge MA 02138](https://www.pdfsearch.io/img/13c93caa046c333afba4af21b3965dac.jpg) | Add to Reading ListSource URL: www.eecs.harvard.eduLanguage: English |
---|
25![Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2](https://www.pdfsearch.io/img/5aeeb161f13b44280eb37ca1cbe1d819.jpg) | Add to Reading ListSource URL: www.mancoosi.orgLanguage: English - Date: 2012-12-16 04:54:55
|
---|
26![Accessing BIM projects is now easier than ever! GRAPHISOFT’s vision is to bring BIM into common practice for the design and construction of buildings by enabling model-based workflow integration through innovative sof Accessing BIM projects is now easier than ever! GRAPHISOFT’s vision is to bring BIM into common practice for the design and construction of buildings by enabling model-based workflow integration through innovative sof](https://www.pdfsearch.io/img/5c06c0b1194c0b22cbaad3fa639be416.jpg) | Add to Reading ListSource URL: www.graphisoft.deLanguage: English - Date: 2015-02-18 10:24:49
|
---|
27![Design of Flight Controllers based on Simplified LPV model of a UAV Kannan Natesan, Da-Wei Gu, Ian Postlethwaite and Jianchi Chen Abstract—In this paper, two strategies for the design of controllers based on a simplifi Design of Flight Controllers based on Simplified LPV model of a UAV Kannan Natesan, Da-Wei Gu, Ian Postlethwaite and Jianchi Chen Abstract—In this paper, two strategies for the design of controllers based on a simplifi](https://www.pdfsearch.io/img/3b7c174147fae5c3722eb43a2d230bbc.jpg) | Add to Reading ListSource URL: lra.le.ac.ukLanguage: English - Date: 2009-06-03 09:33:10
|
---|
28![Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong A Concurrent Error Detection Based FaultTolerant 32 nm XOR-XNOR Circuit Implem Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong A Concurrent Error Detection Based FaultTolerant 32 nm XOR-XNOR Circuit Implem](https://www.pdfsearch.io/img/26ea4c91b1aea0f90fd01db9263c6190.jpg) | Add to Reading ListSource URL: www.bpti.ltLanguage: English - Date: 2013-12-16 08:28:43
|
---|
29![DESIGN AND IMPLEMENTATION OF MICROCOMPUTER BASED WATER RESOURCES DECISION SUPPORT SYSTEMS Marc P. Armstrong Departments of Geography and Computer Science 316 Jessup Hall DESIGN AND IMPLEMENTATION OF MICROCOMPUTER BASED WATER RESOURCES DECISION SUPPORT SYSTEMS Marc P. Armstrong Departments of Geography and Computer Science 316 Jessup Hall](https://www.pdfsearch.io/img/e269cf8491b6e6b2446a7c48e59b802a.jpg) | Add to Reading ListSource URL: mapcontext.comLanguage: English - Date: 2008-08-30 00:25:32
|
---|
30![Within-Document Term-Based Index Pruning with Statistical Hypothesis Testing Sree Lekha Thota and Ben Carterette Department of Computer and Information Sciences University of Delaware, Newark, DE, USA , c Within-Document Term-Based Index Pruning with Statistical Hypothesis Testing Sree Lekha Thota and Ben Carterette Department of Computer and Information Sciences University of Delaware, Newark, DE, USA , c](https://www.pdfsearch.io/img/84a60954bda4b54d4928e8726c7a9b45.jpg) | Add to Reading ListSource URL: ir.cis.udel.eduLanguage: English - Date: 2011-08-13 09:15:29
|
---|